fn f(x: Int) -> (() -> Int) {
  fn() { x }
}